Switched networks and complementarity

A modeling framework is proposed for circuits that are subject both to externally induced switches (time events) and to state events. The framework applies to switched networks with linear and piecewise-linear elements, including diodes. We show that the linear complementarity formulation, which already has proved effective for piecewise-linear networks, can be extended in a natural way to also cover switching circuits. To achieve this, we use a generalization of the linear complementarity problem known as the cone-complementarity problem. We show that the proposed framework is sound in the sense that existence and uniqueness of solutions is guaranteed under a passivity assumption. We prove that only first-order impulses occur and characterize all situations that give rise to a state jump; moreover, we provide rules that determine the jump. Finally, we show that within our framework, energy cannot increase as a result of a jump, and we derive a stability result from this

Uniqueness of solutions of linear relay systems

Conditions are given for uniqueness of solutions of linear time-invariant systems under relay feedback. From a hybrid dynamical point of view this entails the deterministic specification of the discrete transition rules. The results are based on the formulation of relay systems as complementarity systems, and use the constructive theory of the Linear Complementarity Problem

Well-posedness of the complementarity class of hybrid systems

One of the most fundamental properties of any class of dynamical systems is the study of well-posedness, i.e. the existence and uniqueness of a particular type of solution trajectories given an initial state. In case of interaction between continuous dynamics and discrete transitions this issue becomes highly non-trivial. In this survey an overview is given of the well-posedness results for complementarity systems, which form a class of hybrid systems described by the interconnection of di?erential equations and a speci?c combination of inequalities and Boolean expressions as appearing in the linear complementarity problem of mathematical programming

Solution concepts for hybrid dynamical systems

The recent interest in hybrid systems has given rise to a large variety of model classes and to many different notions of solution trajectories. In this paper we enumerate several solution concepts and compare them on the basis of some examples displaying Zeno behaviour. The relation to well-posedness is also discussed

Well-posedness of the complementarity class of hybrid systems

One of the most fundamental properties of any class of dynamical systems is the study of well-posedness, i.e. the existence and uniqueness of a particular type of solution trajectories given an initial state. In case of interaction between continuous dynamics and discrete transitions this issue becomes highly non-trivial. In this survey an overview is given of the well-posedness results for complementarity systems, which form a class of hybrid systems described by the interconnection of differential equations and a specific combination of inequalities and Boolean expressions as appearing in the linear complementarity problem of mathematical programming